561 search results - page 76 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
140
click to vote
GCC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. EEMAS environment is a problem-solving environment for multidisciplinary application simulations. Within the EEMAS, there are four categories of modules involved, namely ...
169
click to vote
IUI
1998
ACM
15 years 10 months ago
1998
ACM
Interactive3Dlearningenvironmentscanproviderichproblemsolving experiences with unparalleled visual impact. In these environments, students interactively solve problems by directin...
151
click to vote
SEFM
2007
IEEE
16 years 12 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
181
click to vote
ISCA
2002
IEEE
15 years 11 months ago
2002
IEEE
Many emerging processor microarchitectures seek to manage technological constraints (e.g., wire delay, power, and circuit complexity) by resorting to nonuniform designs that provi...
156
click to vote
IEEEINTERACT
2003
IEEE
15 years 11 months ago
2003
IEEE
Speculative pre-execution is a promising prefetching technique which uses an auxiliary assisting thread in addition to the main program flow. A prefetching thread (p-thread), whic...