1585 search results - page 176 / 317 » A framework for computer-aided validation |
188
Voted
AOSD
2012
ACM
13 years 11 months ago
2012
ACM
Emerging languages are often source-to-source compiled to mainstream ones, which offer standardized, fine-tuned implementations of non-functional concerns (NFCs)—including pers...
125
Voted
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
Ranking is an important property that needs to be fully supported by current relational query engines. Recently, several rank-join query operators have been proposed based on rank...
145
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
—Emerging applications of wireless sensor networks (WSNs) require real-time quality of service (QoS) guarantees to be provided by the network. However, designing real-time schedu...
123
Voted
SCOPES
2005
Springer
15 years 9 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
121
Voted
CASES
2004
ACM
15 years 9 months ago
2004
ACM
As on-chip networks become prevalent in multiprocessor systemson-a-chip and multi-core processors, they will be an integral part of the design flow of such systems. With power in...