10159 search results - page 612 / 2032 » System Design Validation Using Formal Models |
198
click to vote
RTCSA
2005
IEEE
16 years 19 days ago
2005
IEEE
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
275
click to vote
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
We present a valid-time extension of SQL and investigate its efficient implementation on an Object-Relational database system. We propose an approach where temporal queries are ex...
186
click to vote
CAD
2005
Springer
15 years 7 months ago
2005
Springer
Heterogeneous structures represent an important new frontier for 21st century engineering. Human tissues, composites, `smart' and multimaterial objects are all physically man...
176
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
Sensornet lifespan and utility is limited by the energy resources of individual motes. Network designers seek to maximise energy efficiency while maintaining acceptable Quality o...
165
click to vote
DATE
2003
IEEE
16 years 10 days ago
2003
IEEE
In today’s deep-submicron designs, the interconnect delays contribute an increasing part to the overall performance of an implementation. Particularly when targeting field prog...