Sciweavers

2867 search results - page 419 / 574
» On Interactive Evolution Strategies
Sort
View
CP
2005
Springer
15 years 12 months ago
Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation
This paper describes an efficient, complete approach for solving a complex allocation and scheduling problem for Multi-Processor System-on-Chip (MPSoC). Given a throughput constra...
Luca Benini, Davide Bertozzi, Alessio Guerri, Mich...
FASE
2005
Springer
15 years 12 months ago
A Framework for Counterexample Generation and Exploration
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
Marsha Chechik, Arie Gurfinkel
HT
2004
ACM
15 years 12 months ago
An anatomy of anchors
While much attention is paid to defining and examining interactions with links, little is paid to the front end: the anchor. We examine what an anchor is, describe six anchor prop...
Deena Larsen, Richard E. Higgason
UIST
2004
ACM
15 years 12 months ago
Navigating documents with the virtual scroll ring
We present a technique for scrolling through documents that is simple to implement and requires no special hardware. This is accomplished by simulating a hardware scroll ring—a ...
Tomer Moscovich, John F. Hughes
EKAW
2004
Springer
15 years 11 months ago
A Topic-Based Browser for Large Online Resources
The exploration of large information spaces is a difficult task, especially if the user is not familiar with the terminology used to describe information. Conceptual models of a do...
Heiner Stuckenschmidt, Anita de Waard, Ravinder Bh...