373 search results - page 51 / 75 » Synthesis of Trigger Properties |
110
click to vote
SIPS
2007
IEEE
15 years 11 months ago
2007
IEEE
A hardware ef cient approach is introduced for elementary function evaluations in certain structured matrix computations. It is a comprehensive approach that utilizes lookup table...
172
click to vote
AHS
2006
IEEE
15 years 11 months ago
2006
IEEE
— This invited paper overviews the low level debug support hardware required for an on-chip predeployment debugging system for sensor networks. The solution provides significant...
171
click to vote
ECBS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
151
click to vote
ICSEA
2006
IEEE
15 years 11 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
135
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...