9626 search results - page 1281 / 1926 » Invariant Based Programming |
200
Voted
TACAS
2004
Springer
16 years 19 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
205
click to vote
CGO
2003
IEEE
16 years 17 days ago
2003
IEEE
The pervasive use of pointers with complicated patterns in C programs often constrains compiler alias analysis to yield conservative register allocation and promotion. Speculative...
185
Voted
DATE
2003
IEEE
16 years 17 days ago
2003
IEEE
The widening gap between processor and memory speeds renders data locality optimization a very important issue in data-intensive embedded applications. Throughout the years hardwa...
176
click to vote
HICSS
2003
IEEE
16 years 17 days ago
2003
IEEE
The purpose of this paper is twofold: (1) to examine the properties of our ANSI C Markup Language (ACML) as a domain-specific language (DSL); and (2) to show that ACML is useful ...
180
Voted
ICALT
2003
IEEE
16 years 17 days ago
2003
IEEE
Although the technical skills of pupils are quite high, the current approach to gain media literacy still focusses on updating software applying skills, rather than exploring the ...