2881 search results - page 542 / 577 » Model Checking for Programming Languages using Verisoft |
128
click to vote
IWOMP
2010
Springer
15 years 6 months ago
2010
Springer
OpenMP is a popular and evolving programming model for shared-memory platforms. It relies on compilers to target modern hardware architectures for optimal performance. A variety of...
157
click to vote
GPCE
2009
Springer
15 years 5 months ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...
127
click to vote
ACSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...
118
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
109
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
In this paper, we describe the design and implementation of a tuple-based distributed memory realized with the use of RFID technology. The key idea – rooted in a more general sc...