Sciweavers

110 search results - page 15 / 22
» Mixed logic and storage operators
Sort
View
ACL2
2006
ACM
15 years 5 months ago
Phylogenetic trees in ACL2
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
Warren A. Hunt Jr., Serita M. Nelesen
GI
2009
Springer
14 years 9 months ago
Ontological Modelling of Surgical Knowledge
: Computer Assisted Surgery seeks data from various sources related to surgical knowledge, which is mostly represented in the form of discrete databases. However, databases serve a...
Raj Mudunuri, Oliver Burgert, Thomas Neumuth
MIDDLEWARE
2004
Springer
15 years 5 months ago
On the benefits of decomposing policy engines into components
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
Konstantin Beznosov
ISLPED
2000
ACM
70views Hardware» more  ISLPED 2000»
15 years 4 months ago
An adaptive on-chip voltage regulation technique for low-power applications
In this paper we present a completely on-chip voltage regulation technique which promises to adjust the degree of voltage regulation in a digital logic chip in the face of process...
Nicola Dragone, Akshay Aggarwal, L. Richard Carley
FPL
2006
Springer
113views Hardware» more  FPL 2006»
15 years 3 months ago
A Novel Heuristic and Provable Bounds for Reconfigurable Architecture Design
This paper is concerned with the application of formal optimisation methods to the design of mixed-granularity FPGAs. In particular, we investigate the appropriate mix and floorpl...
Alastair M. Smith, George A. Constantinides, Peter...