3653 search results - page 314 / 731 » On Recognizable Timed Languages |
145
Voted
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— We report on a custom designed system for the deposition and characterization of polypyrrole bilayer actuators. Unlike conventional commercial electrochemical cells and potenti...
187
Voted
SEFM
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
138
Voted
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Peephole optimizers are typically constructed using human-written pattern matching rules, an approach that requires expertise and time, as well as being less than systematic at ex...
210
click to vote
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Exploiting thread level parallelism is paramount in the multi-core era. Transactions enable programmers to expose such parallelism by greatly simplifying the multi-threaded progra...
224
click to vote
ADAEUROPE
2005
Springer
16 years 1 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...