3082 search results - page 260 / 617 » Deviation Analysis: A New Use of Model Checking |
165
click to vote
JSS
2010
15 years 5 months ago
2010
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
174
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
— As the technology scales into 90nm and below, process-induced variations become more pronounced. In this paper, we propose an efficient stochastic method for analyzing the vol...
171
click to vote
OOPSLA
2005
Springer
16 years 1 days ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
153
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
213
click to vote
ICDE
2009
IEEE
15 years 4 months ago
2009
IEEE
Search over graph databases has attracted much attention recently due to its usefulness in many fields, such as the analysis of chemical compounds, intrusion detection in network t...