548 search results - page 90 / 110 » Adding Real Time to Formal Program Development |
102
click to vote
WWW
2005
ACM
15 years 10 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
138
click to vote
ECRTS
2010
IEEE
14 years 10 months ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
106
click to vote
AAMAS
2004
Springer
14 years 9 months ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
PLDI
1994
ACM
15 years 1 months ago
1994
ACM
As microprocessor speeds increase, memory bandwidth is increasing y the performance bottleneck for microprocessors. This has occurred because innovation and technological improvem...
109
Voted
ASPLOS
2011
ACM
14 years 1 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...