707 search results - page 105 / 142 » A Practical Method for Quickly Evaluating Program Optimizati... |
COR
2010
13 years 9 months ago
2010
The Multi-Compartment Vehicle Routing Problem (MC-VRP) consists of designing transportation routes to satisfy the demands of a set of costumers for several products that because o...
TLDI
2010
ACM
14 years 6 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
BMCBI
2010
13 years 9 months ago
2010
Background: Because a priori knowledge about function of G protein-coupled receptors (GPCRs) can provide useful information to pharmaceutical research, the determination of their ...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
Performing distributed consensus in a network has been an important research problem for several years, and is directly applicable to sensor networks, autonomous vehicle formation...
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...