1199 search results - page 236 / 240 » Software Verification and Software Engineering a Practitione... |
122
Voted
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
122
click to vote
ICCD
2003
IEEE
15 years 10 months ago
2003
IEEE
With the circuit density available in today’s ASIC design systems, increased integration is possible creating more complexity in the design of a System on a Chip (SoC). IBM’s ...
116
click to vote
LCTRTS
2007
Springer
15 years 8 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
109
Voted
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Although mobile Java code is frequently executed on many wireless devices, the susceptibility to electromagnetic (EM) attacks is largely unknown. If analysis of EM waves emanating...
119
click to vote
ACSD
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...