Sciweavers

1004 search results - page 143 / 201
» High Performance Computing in Science and Engineering
Sort
View
ICS
2005
Tsinghua U.
15 years 8 months ago
Low-power, low-complexity instruction issue using compiler assistance
In an out-of-order issue processor, instructions are dynamically reordered and issued to function units in their dataready order rather than their original program order to achiev...
Madhavi Gopal Valluri, Lizy Kurian John, Kathryn S...
APSEC
2008
IEEE
15 years 9 months ago
Flexible Generation of Pervasive Web Services Using OSGi Declarative Services and OWL Ontologies
There is a growing trend to deploy web services in pervasive computing environments. Implementing web services on networked, embedded devices leads to a set of challenges, includi...
Klaus Marius Hansen, Weishan Zhang, João Fe...
COMPSAC
2008
IEEE
15 years 9 months ago
Error Modeling in Dependable Component-Based Systems
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...
Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobr...
129
Voted
ICSEA
2007
IEEE
15 years 9 months ago
Sycophant: An API for Research in Context-Aware User Interfaces
Research in context-aware user interfaces aims to improve human-computer interaction by providing more effective, smarter and user-friendlier solutions for computer applications. ...
Anil Shankar, Juan C. Quiroz, Sergiu M. Dascalu, S...
ICFEM
1997
Springer
15 years 7 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer