4917 search results - page 536 / 984 » Software Engineering is Not Computer Science |
148
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
144
click to vote
GCC
2009
Springer
15 years 4 months ago
2009
Springer
The design and development of a complex system as well as the simulation of its dynamic behavior are usually involved in multidisciplinary field knowledge. HLA-based collaborative ...
178
click to vote
CCR
2011
15 years 1 months ago
2011
HTTP (Hypertext Transport Protocol) was originally primarily used for human-initiated client-server communications launched from web browsers, traditional computers and laptops. H...
192
click to vote
VSTTE
2012
Springer
14 years 1 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
169
click to vote
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents several important enhancements to the recently published multilevel placement package mPL [12]. The improvements include (i) unconstrained quadratic relaxation...