3653 search results - page 314 / 731 » On Recognizable Timed Languages |
136
click to vote
ISCAS
2006
IEEE
16 years 26 days 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...
168
click to vote
SEFM
2006
IEEE
16 years 26 days 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...
127
click to vote
ASPLOS
2006
ACM
16 years 25 days 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...
193
click to vote
ASPLOS
2006
ACM
16 years 25 days 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...
201
click to vote
ADAEUROPE
2005
Springer
16 years 12 days 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...