Sciweavers

2043 search results - page 118 / 409
» A convenient category of domains
Sort
View
CODES
2003
IEEE
15 years 11 months ago
Transaction level modeling: an overview
Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well defined and the us...
Lukai Cai, Daniel Gajski
GECCO
2009
Springer
131views Optimization» more  GECCO 2009»
15 years 11 months ago
Application of a simple binary genetic algorithm to a noiseless testbed benchmark
One of the earliest evolutionary computation algorithms, the genetic algorithm, is applied to the noise-free BBOB 2009 testbed. It is adapted to the continuous domain by increasin...
Miguel Nicolau
ISLPED
2000
ACM
94views Hardware» more  ISLPED 2000»
15 years 10 months ago
Algorithmic transforms for efficient energy scalable computation
We introduce the notion of energy scalable computation on general purpose processors. The principle idea is to maximize computational quality for a given energy constraint. The de...
Amit Sinha, Alice Wang, Anantha Chandrakasan
LICS
1994
IEEE
15 years 10 months ago
A General Semantics for Evaluation Logic
The original semantics of Evaluation Logic in [Mog93] relies on additional properties of strong monads. This paper extends the original semantics by dropping all additional requir...
Eugenio Moggi
HT
2007
ACM
15 years 10 months ago
Semport: a personalized semantic portal
This paper presents an ontology-based semantic portal, SEMPort, which aims to support both content providers and the users of the portal during providing information, browsing and...
Melike Sah, Wendy Hall, Nicholas Gibbins, David De...