331 search results - page 43 / 67 » Fuxi: An Agile Development Environment for Embedded Systems |
160
click to vote
ISSTA
2006
ACM
2006
ACM
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
16 years 3 days ago
Distributed hard real-time systems have become a major component of many advanced technical products. Means to ensure their proper quality are thus of paramount importance. To ens...
135
click to vote
ECRTS
1999
IEEE
15 years 10 months ago
1999
IEEE
Safety-critical systems typically operate in unpredictable environments. Requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to un...
184
click to vote
ICPADS
2006
IEEE
16 years 6 days ago
2006
IEEE
We developed Hi-sap, a web server system that ensures the security in a server and has high performance when processing dynamic content. In existing servers, server embedded progr...
150
click to vote
ICFEM
1998
Springer
15 years 10 months ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
158
click to vote
ISMVL
2003
IEEE
15 years 11 months ago
2003
IEEE
The complexity of todays hardware systems steadily increases. Due to this fact new ways of efficiently describing systems are investigated. A very promising approach in this area...