10707 search results - page 1737 / 2142 » Designing executable abstractions |
229
click to vote
JSS
2011
15 years 1 months ago
2011
Due to the complex nature of scientific workflow environments, temporal violations often take place and may severely reduce the timeliness of the execution’s results. To handle ...
265
click to vote
ISCA
2011
IEEE
14 years 11 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
240
Voted
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints be...
254
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: High-throughput mass spectrometry (MS) proteomics data is increasingly being used to complement traditional structural genome annotation methods. To keep pace with the...
221
click to vote
CHI
2011
ACM
14 years 11 months ago
2011
ACM
Flexible displays potentially allow for interaction styles that resemble those used in paper documents. Bending the display, e.g., to page forward, shows particular promise as an ...