1271 search results - page 231 / 255 » On Simulation-Checking with Sequential Systems |
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
PLDI
2010
ACM
14 years 5 months ago
2010
ACM
Data races indicate serious concurrency bugs such as order, atomicity, and sequential consistency violations. Races are difficult to find and fix, often manifesting only in deploy...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
Extracting semantic relations among entities is an important first step in various tasks in Web mining and natural language processing such as information extraction, relation de...
SENSYS
2009
ACM
14 years 2 months ago
2009
ACM
Creating and debugging programs for wireless embedded networks (WENs) is notoriously difficult. Macroprogramming is an emerging technology that aims to address this by providing ...
HIPEAC
2009
Springer
14 years 2 months ago
2009
Springer
In this article, we present a parallel implementation of a 1024 point Fast Fourier Transform (FFT) operating with a subthreshold supply voltage, which is below the voltage that tur...