6740 search results - page 550 / 1348 » Using Classification as a Programming Language |
166
Voted
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
118
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Even though in recent years research and development of humanoid robots has increased, the major topics of research generally focus on how to make a robot perform specific motions...
174
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
124
click to vote
DAC
1995
ACM
15 years 8 months ago
1995
ACM
— Software components for embedded reactive real-time applications must satisfy tight code size and runtime constraints. Cooperating finite state machines provide a convenient i...
223
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
This paper presents a simple type system for thread-local data in Java. Classes and types are annotated to express thread-locality and unintended leaks are detected at compile-time...