Sciweavers

4752 search results - page 674 / 951
» Dependability in Web Software
Sort
View
181
Voted
NCA
2003
IEEE
16 years 21 days ago
Adaptive Resource Selection for Grid-Enabled Network Services
Due to the popularity of high-speed networks and advances in packaging and interface technologies, there has been significant efforts for providing high performance applications a...
Byoung-Dai Lee, Jon B. Weissman
WORDS
2003
IEEE
16 years 21 days ago
Timing Analysis of Optimised Code
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
Raimund Kirner, Peter P. Puschner
GRAPHITE
2003
ACM
16 years 21 days ago
MagicMouse: an inexpensive 6-degree-of-freedom mouse
An inexpensive computer input device was developed that allows the user to operate within both 2D and 3D environments by simply moving and rotating their fist. Position and rotati...
Eric Woods, Paul Mason, Mark Billinghurst
186
Voted
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
16 years 20 days ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
ARCS
2010
Springer
16 years 7 days ago
Complexity-Effective Rename Table Design for Rapid Speculation Recovery
Register renaming is a widely used technique to remove false data dependencies in contemporary superscalar microprocessors. The register rename logic includes a mapping table that ...
Görkem Asilioglu, Emine Merve Kaya, Oguz Ergi...