6312 search results - page 131 / 1263 » A design framework for metaheuristics |
DAC
2001
ACM
15 years 11 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
HICSS
2009
IEEE
15 years 5 months ago
2009
IEEE
The need for professionals to make informed ethical choices in design and management of information systems is more important than ever. However, the relative newness of the infor...
110
click to vote
EPIA
2001
Springer
15 years 2 months ago
2001
Springer
Organisations can be defined as a set of entities regulated by mechanisms of social order and created by more or less autonomous actors to achieve common goals. Multi-agent systems...
ASSETS
2000
ACM
15 years 2 months ago
2000
ACM
Manipulating a mouse pointer is often difficult for the low vision computer user. Working with such a small, mobile screen object is very visually demanding. Although several tech...
FMCAD
2007
Springer
15 years 2 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...