391 search results - page 60 / 79 » Embedded software development on top of transaction-level mo... |
140
Voted
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
128
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— UrbanSim is a large scale land use and transportation simulator that models the possible long-term effects of different policies on urban regions. The output is present...
110
Voted
EMSOFT
2003
Springer
15 years 8 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
130
click to vote
SSIAI
2002
IEEE
15 years 8 months ago
2002
IEEE
A volumetric image segmentation algorithm has been developed and implemented by extending a 2D algorithm based on Active Shape Models. The new technique allows segmentation of 3D ...
152
Voted
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...