1850 search results - page 97 / 370 » Design-for-debugging of application specific designs |
141
click to vote
ISSTA
1996
ACM
15 years 7 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
162
Voted
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
The paper describes the design and the Java implementation of a coordination architecture for mobile agents, based on an object-oriented Linda-like tuple space model, compliant wi...
123
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents an environment based on SystemC for architecture specification of programmable systems. Making use of the new architecture description language ArchC, able to ...
152
Voted
EWSN
2008
Springer
16 years 3 months ago
2008
Springer
Component-based architectures are the traditional approach cile application specific optimization with reusable abstractions in sensor networks. However, they frequently overwhelm ...
126
click to vote
ISORC
2002
IEEE
15 years 8 months ago
2002
IEEE
Two limitations of the current implementations of adaptive QoS behaviors are complexity associated with inserting them into common application contexts and lack of reusability acr...