Sign In
Sign Up
Modeling, verification, and exploration of task-level concurrency in real-time embedded systems
Francky Catthoor
Filip Thoen
Filip Thoen
2000
-
/
5
0 votes
Science/Mathematics
Microprocessors
Embedded Computer Systems
Code
4.3
21 votes
Hackers & painters
4.0
16 votes
The Information
3.8
15 votes
Structure and Interpretation of Computer Programs (SICP)
4.4
21 votes
The long earth
3.8
35 votes
Hackers
4.1
21 votes
JavaScript
4.1
30 votes
Coders at Work
4.0
18 votes
Reamde
3.7
47 votes
In the Beginning...Was the Command Line
3.7
22 votes
The Soul of a New Machine
4.1
15 votes
Ghost in the wires
4.1
17 votes
Calculus
4.1
17 votes
Flow my tears, the policeman said
3.8
20 votes
Astrophysics for People in a Hurry
4.0
51 votes
Thinking in systems
4.4
22 votes
Tiamat's Wrath
4.4
42 votes
Dune
4.3
346 votes
Cryptonomicon
4.5
28 votes
The Mythical Man-Month
4.2
28 votes
Pebble in the Sky
4.0
21 votes
Astrophysics for People in a Hurry
4.6
22 votes
Biology
3.9
18 votes
Spell or High Water
3.6
16 votes
What If?
4.3
93 votes
The Reality Dysfunction
3.8
24 votes
To Say Nothing of the Dog
3.8
15 votes
The Difference Engine
3.3
22 votes
The Drunkard's Walk
4.0
20 votes
This Is How You Lose the Time War
3.9
17 votes
Algorithms to Live By
4.0
37 votes
Design Patterns
3.9
30 votes
The total money makeover
3.3
15 votes
The Cathedral and the Bazaar
4.3
16 votes
Rogue protocol
4.2
66 votes
Anathem
4.3
64 votes
Off to be the wizard
3.8
25 votes
The Rise and Fall of D.O.D.O.
3.7
23 votes
Finders Keepers
4.1
18 votes
Acceptance
3.5
24 votes
Replay
4.5
22 votes
The Pragmatic Programmer
4.4
41 votes
The First Fifteen Lives of Harry August
3.9
20 votes
Dark Matter
4.0
67 votes
The Bone Clocks
3.9
26 votes
The Sixth Extinction
4.0
19 votes
The Martian
4.4
281 votes
Don't Make Me Think
4.1
15 votes