Sciweavers

3302 search results - page 569 / 661
» Software Is More Than Code
Sort
View
132
Voted
FOSSACS
2005
Springer
15 years 9 months ago
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
Lutz Schröder
137
Voted
PCI
2005
Springer
15 years 9 months ago
Web Service-Enabled Grid-Based Platform for Drug Resistance Management
HIV Drug Resistance testing has been established as a routine test in several cases. Estimation of genotypic resistance is a laborious task consisting of experimental procedure and...
Panagiotis Gouvas, G. Magiorkinis, Athanasios Bour...
125
Voted
VLSI
2005
Springer
15 years 9 months ago
Pareto Points in SRAM Design Using the Sleepy Stack Approach
Leakage power consumption of current CMOS technology is already a great challenge. ITRS projects that leakage power consumption may come to dominate total chip power consumption a...
Jun-Cheol Park, Vincent John Mooney III
AFRIGRAPH
2004
ACM
15 years 9 months ago
Interactive ray tracing of free-form surfaces
Even though the speed of software ray tracing has recently been increased to interactive performance even on standard PCs, these systems usually only supported triangles as geomet...
Carsten Benthin, Ingo Wald, Philipp Slusallek
125
Voted
UIST
2004
ACM
15 years 9 months ago
Simple vs. compound mark hierarchical marking menus
We present a variant of hierarchical marking menus where items are selected using a series of inflection-free simple marks, rather than the single "zig-zag" compound mar...
Shengdong Zhao, Ravin Balakrishnan