2881 search results - page 410 / 577 » Model Checking for Programming Languages using Verisoft |
143
click to vote
ICESS
2007
Springer
16 years 14 days ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
142
click to vote
UM
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we present the results of a two-month field study of fifteen people using a software tool designed to model changes in a user’s availability. The software uses s...
186
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment. T...
158
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
168
Voted
DAC
2006
ACM
16 years 7 months ago
2006
ACM
or Abstraction for the Functional Verification of FPGAs Guy Dupenloup, Thierry Lemeunier, Roland Mayr Altera Corporation 101 Innovation Drive San Jose, CA 95134 1-408-544-8672 {gdu...