1407 search results - page 33 / 282 » Using Use Cases in Executable Z |
137
click to vote
CJ
2010
14 years 12 months ago
2010
Sensor networks face a number of challenges when deployed in unpredictable environments under dynamic, quickly changeable demands, and when shared by many partners, which is often...
143
click to vote
CASES
2008
ACM
15 years 4 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
130
Voted
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
131
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
SBT is portable library and tool for on-line debugging and performance monitoring of shared-memory parallel programs using the single-program-multiple-data (SPMD) model of paralle...
ZUM
1992
Springer
15 years 6 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...