864 search results - page 80 / 173 » New Strategies for System-Level Design |
149
click to vote
KES
2006
Springer
15 years 4 months ago
2006
Springer
The trends and recent changes in logistics lead to complex and partially conflicting requirements on logistic planning and control systems. Due to the lack of efficiency of curren...
131
Voted
AC
2005
Springer
15 years 4 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
141
click to vote
IUI
2011
ACM
14 years 7 months ago
2011
ACM
In this paper, we present a new type of Marking menus. Continuous Marking Menus are specifically dedicated to penbased interfaces, and designed to define a set of cursive, reali...
138
click to vote
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
It is becoming increasingly common to construct network services using redundant resources geographically distributed across the Internet. Content Distribution Networks are a prim...
134
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Parameter setting is an important issue in the design of evolutionary algorithms. Recently, experimental work has pointed out that it is often not useful to work with a fixed ...