Sciweavers

6438 search results - page 982 / 1288
» A Parameterised Search System
Sort
View
GECCO
2008
Springer
168views Optimization» more  GECCO 2008»
15 years 7 months ago
Parameterizing pair approximations for takeover dynamics
Pair approximations have often been used to predict equilibrium conditions in spatially-explicit epidemiological and ecological systems. In this work, we investigate whether this ...
Joshua L. Payne, Margaret J. Eppstein
JTRES
2010
ACM
15 years 6 months ago
Exhaustive testing of safety critical Java
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...
Tomás Kalibera, Pavel Parizek, Michal Maloh...
MM
2010
ACM
135views Multimedia» more  MM 2010»
15 years 6 months ago
Trajectory-based visualization of web video topics
While there have been research efforts in organizing largescale web videos into topics, efficient browsing of web video topics remains a challenging problem not yet addressed. The...
Juan Cao, Chong-Wah Ngo, Yongdong Zhang, Dongming ...
DSD
2010
IEEE
153views Hardware» more  DSD 2010»
15 years 6 months ago
Simulation of High-Performance Memory Allocators
—Current general-purpose memory allocators do not provide sufficient speed or flexibility for modern highperformance applications. To optimize metrics like performance, memory us...
José Luis Risco-Martín, José ...
ECMDAFA
2010
Springer
132views Hardware» more  ECMDAFA 2010»
15 years 6 months ago
An Integrated Facet-Based Library for Arbitrary Software Components
Reuse is an important means of reducing costs and effort during the development of complex software systems. A major challenge is to find suitable components in a large library wit...
Matthias Schmidt, Jan Polowinski, Jendrik Johannes...