Sciweavers

294 search results - page 41 / 59
» Using the metaphysics of quality to define design science
Sort
View
HICSS
2006
IEEE
98views Biometrics» more  HICSS 2006»
14 years 1 months ago
Electricity Markets: How Many, Where and When?
Most markets compromise the economist’s ideal of matching the marginal benefits to consumers with the marginal cost of supply for incremental purchases because individual buyers...
Nodir Adilov, Richard E. Schuler
DAC
2009
ACM
14 years 8 months ago
WCET-aware register allocation based on graph coloring
Current compilers lack precise timing models guiding their built-in optimizations. Hence, compilers apply ad-hoc heuristics during optimization to improve code quality. One of the...
Heiko Falk
ICC
2008
IEEE
118views Communications» more  ICC 2008»
14 years 2 months ago
Video TFRC
— TCP-friendly rate control (TFRC) is a congestion control technique that trade-offs responsiveness to the network conditions for a smoother throughput variation. We take advanta...
Evan Tan, Jing Chen, Sebastien Ardon, Emmanuel Loc...
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
13 years 9 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
ICPW
2007
13 years 9 months ago
A practical method for courseware evaluation
As more courseware becomes available, choosing the right functionality for a particular e-learning community is becoming more problematic. Systematic methods for evaluating course...
Aldo de Moor