Sciweavers

1539 search results - page 202 / 308
» Is it time for real-time functional programming
Sort
View
PPOPP
2005
ACM
15 years 9 months ago
Teleport messaging for distributed stream programs
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
William Thies, Michal Karczmarek, Janis Sermulins,...
CCS
2010
ACM
15 years 4 months ago
DIFC programs by automatic instrumentation
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
William R. Harris, Somesh Jha, Thomas W. Reps
161
Voted
JCC
2011
154views more  JCC 2011»
14 years 7 months ago
Can we trust docking results? Evaluation of seven commonly used programs on PDBbind database
: Docking is one of the most commonly used techniques in drug design. It is used for both identifying correct poses of a ligand in the binding site of a protein as well as for the ...
Dariusz Plewczynski, Michal Lazniewski, Rafal Augu...
GIS
2006
ACM
16 years 5 months ago
Generalization of land cover maps by mixed integer programming
We present a novel method for the automatic generalization of land cover maps. A land cover map is composed of areas that collectively form a tessellation of the plane and each ar...
Jan-Henrik Haunert, Alexander Wolff
INFOCOM
2007
IEEE
15 years 10 months ago
Stream: Low Overhead Wireless Reprogramming for Sensor Networks
— Wireless reprogramming of a sensor network is useful for uploading new code or for changing the functionality of existing code. Through the process, a node should remain recept...
Rajesh Krishna Panta, Issa Khalil, Saurabh Bagchi