Sciweavers

1008 search results - page 129 / 202
» Compiler Technology for Two Novel Computer Architectures
Sort
View
COMPUTER
2007
153views more  COMPUTER 2007»
15 years 17 days ago
The Discipline of Embedded Systems Design
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
Thomas A. Henzinger, Joseph Sifakis
ICS
2005
Tsinghua U.
15 years 6 months ago
Disk layout optimization for reducing energy consumption
Excessive power consumption is becoming a major barrier to extracting the maximum performance from high-performance parallel systems. Therefore, techniques oriented towards reduci...
Seung Woo Son, Guangyu Chen, Mahmut T. Kandemir
FPCA
1995
15 years 4 months ago
Pi-Calculus, Dialogue Games and PCF
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
J. M. E. Hyland, C.-H. Luke Ong
110
Voted
COOPIS
2002
IEEE
15 years 5 months ago
Object Security Attributes: Enabling Application-Specific Access Control in Middleware
This paper makes two main contributions towards establishing support for application-specific factors in middleware security mechanisms. First, it develops a simple classification...
Konstantin Beznosov
98
Voted
APBC
2004
15 years 2 months ago
PathwayFinder: Paving the Way Towards Automatic Pathway Extraction
Automatically mining protein pathway information from the vast amount of published literature has been an increasing need from the pharmaceutical industry and biomedical research ...
Daming Yao, Jingbo Wang, Yanmei Lu, Nathan Noble, ...