1774 search results - page 134 / 355 » Modeling and implementing software architecture with acme an... |
158
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
154
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
Software pipelining of a multi-dimensional loop is an important optimization that overlaps the execution of successive outermost loop iterations to explore instruction-level paral...
122
Voted
CASES
2001
ACM
15 years 7 months ago
2001
ACM
This paper presents the modeling of embedded systems with SimBed, an execution-driven simulation testbed that measures the execution behavior and power consumption of embedded app...
215
click to vote
VL
2010
IEEE
15 years 2 months ago
2010
IEEE
SOFIA (Artemis project: http://www.sofiaproject.eu/) focuses on answering the challenge of creating smart environments and its goal is to make information that resides in the phys...
132
Voted
DEBS
2003
ACM
15 years 9 months ago
2003
ACM
Publish/subscribe infrastructures, specifically notification servers, are used in a large spectrum of distributed applications as their basic communication and integration infrast...