Sciweavers

20807 search results - page 68 / 4162
» How to read a paper
Sort
View
219
Voted
POPL
2002
ACM
16 years 4 months ago
Proving correctness of compiler optimizations by temporal logic
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Chr...
DMSN
2004
ACM
15 years 8 months ago
Confidence-based data management for personal area sensor networks
The military is working on embedding sensors in a "smart uniform" that will monitor key biological parameters to determine the physiological status of a soldier. The sol...
Nesime Tatbul, Mark Buller, Reed Hoyt, Steve Mulle...
HCI
2007
15 years 6 months ago
Artistic Data Visualization: Beyond Visual Analytics
Information visualization is traditionally viewed as a tool for data exploration and hypothesis formation. Because of its roots in scientific reasoning, visualization has tradition...
Fernanda B. Viégas, Martin Wattenberg
140
Voted
CIIA
2009
15 years 5 months ago
Software Platform based Embedded Multiprocessor SoC Prototyping
This paper describes our experience in processor/threads synchronization using the POSIX API standard for MPSoC virtual applications prototyping. Spin-Lock (Binary Semaphore) imple...
Benaoumeur Senouci, Ali El Moussaoui, Bernard Goos...
IHI
2010
127views Healthcare» more  IHI 2010»
14 years 11 months ago
Using clinical preferences in argumentation about evidence from clinical trials
Medical practice is increasingly based on the best available evidence, but the volume of information requires many clinicians to rely on systematic reviews rather than the primary...
Anthony Hunter, Matthew Williams