7380 search results - page 1339 / 1476 » Engineering Software Intensive Systems |
133
click to vote
TOMACS
1998
15 years 2 months ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...
118
click to vote
EUROSYS
2008
ACM
16 years 6 hour ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
147
click to vote
ATVA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
190
click to vote
EDO
2006
Springer
15 years 6 months ago
2006
Springer
Server applications with adaptive behaviors can adapt their functionality in response to environmental changes, and significantly reduce the on-going costs of system deployment an...
112
Voted
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...