1784 search results - page 293 / 357 » Formal Models for Embedded System Design |
152
click to vote
IOLTS
2005
IEEE
15 years 11 months ago
2005
IEEE
As device geometries continue to shrink, single event upsets are becoming of concern to a wider spectrum of system designers. These “soft errors” can be a nuisance or catastro...
288
click to vote
GIS
2004
ACM
16 years 7 months ago
2004
ACM
act Model of Three-Dimensional Spatial Data Types Markus Schneider & Brian E Weinrich University of Florida Department of Computer & Information Science & Engineering G...
189
click to vote
JCB
2006
15 years 6 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
166
click to vote
ACSD
2003
IEEE
15 years 11 months ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
176
click to vote
DAGSTUHL
2008
15 years 7 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...