Sciweavers

3660 search results - page 517 / 732
» Parallel Program Archetypes
Sort
View
FOCS
2008
IEEE
16 years 1 months ago
Unique Games with Entangled Provers are Easy
We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are ‘unique’ cons...
Julia Kempe, Oded Regev, Ben Toner
ISORC
2007
IEEE
16 years 26 days ago
Experiences from Applying WCET Analysis in Industrial Settings
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
Jan Gustafsson, Andreas Ermedahl
LADS
2007
Springer
16 years 21 days ago
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...
Alessandro Ricci, Mirko Viroli, Giulio Piancastell...
CONIELECOMP
2006
IEEE
16 years 19 days ago
WISBuilder: A Framework for Facilitating Development of Web-Based Information Systems
This paper presents WISBuilder, a framework that investigates an approach for facilitating the development of Web-based Information Systems. The approach is based on the Model-Vie...
Angel Israel Ortiz-Cornejo, Heriberto Cuayá...
HICSS
2006
IEEE
164views Biometrics» more  HICSS 2006»
16 years 19 days ago
A Methodology for Generating Application-Specific Heterogeneous Processor Arrays
Hardware designers are increasingly turning to Single Chip Multi-Processors to achieve power and throughput goals. To further increase performance for a specific application the c...
Stephen D. Craven, Cameron Patterson, Peter M. Ath...