794 search results - page 96 / 159 » Automatically Analyzing Software Processes: Experience Repor... |
90
Voted
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
351
Voted
ICSE
2012
IEEE-ACM
13 years 3 months ago
2012
IEEE-ACM
—As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing quickly, which acc...
125
Voted
SIGOPS
2008
15 years 15 days ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
107
click to vote
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
Process variability has a detrimental impact on the performance of memories and other system components, which can lead to parametric yield loss at the system level due to timing ...
132
Voted
PAMI
2012
13 years 3 months ago
2012
—Attention is an integral part of the human visual system and has been widely studied in the visual attention literature. The human eyes fixate at important locations in the scen...