1163 search results - page 112 / 233 » Case Studies of Model Checking for Embedded System Designs |
116
click to vote
RSP
1998
IEEE
15 years 8 months ago
1998
IEEE
A rapid design methodology for orthonormal wavelet transform cores has been developed. This methodology is based on a generic, scaleable architecture utilising time-interleaved co...
146
click to vote
CASES
2004
ACM
15 years 8 months ago
2004
ACM
The tremendous growth of system memories has increased the capacities and capabilities of memory-resident embedded databases, yet current embedded databases need to be tuned in or...
139
click to vote
CMSB
2010
Springer
14 years 11 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
134
click to vote
ICWE
2005
Springer
15 years 10 months ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
167
click to vote
POPL
2010
ACM
15 years 7 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...