Showing 141 - 160 of 57,567

141

Scheduling algorithms for data redistribution and load-balancing on master-slave platforms
MARCHAL, Loris ; REHN, Veronika ; ROBERT, Yves ; et al.
Clusters and computational grids for scientific computingParallel processing letters. 17(1):61-77

Control theory, operatio... Automatique, recherche o... Electronics Electronique Computer science Informatique
Conference
Save to List
142

Saturn : A scalable framework for error detection using boolean satisfiability
YICHEN XIE ; AIKEN, Alex
Special issue on POPL 2005ACM transactions on programming languages and systems. 29(3):1-43

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
143

SPIKE : A parallel environment for solving banded linear systems
POLIZZI, Eric ; SAMEH, Ahmed
Challenges and advances in flow simulation and modelingComputers & fluids. 36(1):113-120

Mechanics acoustics Mécanique et acoustique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
144

Routing protocol for ad hoc mobile networks using mobility prediction
CREIXELL, Werner ; SEZAKI, Kaoru
International journal of ad hoc and ubiquitous computing (Print). 2(3):149-156

Computer science Informatique Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
145

Routing algorithm that broadcasts bitmap with random waiting for wireless sensor networks : Multi-Hop Time Synchronizaion Protocol for IEEE 802.11 Wirless Ad Hoc networks
JUNG, Sangjoon
Journal of information science and engineering. 23(4):999-1009

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
146

Removing the memory limitations of sensor networks with flash-based virtual memory
LACHENMANN, Andreas ; MARRON, Pedro José ; GAUGER, Matthias ; et al.
Proceedings of the EuroSys 2007, 2nd EuroSys Conference, Lisbon, Portugal, 21-23 March, 2007Operating systems review. 41(3):131-144

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
147

Reliable and efficient programming abstractions for wireless sensor networks
KOTHARI, Nupur ; GUMMADI, Ramakrishna ; MILLSTEIN, Todd ; et al.
PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, 2007, San Diego, CAACM SIGPLAN notices. 42(6):200-210

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
148

Relative subjective count and assessment of interruptive technologies applied to mobile monitoring of stress
PICARD, Rosalind W ; LIU, Karen K
Evaluating affective interactionsInternational journal of human-computer studies. 65(4):361-375

Computer science Informatique Psychology, psychopathol... Psychologie, psychopatho... Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
149

Real-time scheduling with a budget
NAOR, Joseph ; SHACHNAI, Hadas ; TAMIR, Tami
An APPOL meeting in Bertinoro, Italy, 23-28 March 2003Algorithmica. 47(3):343-364

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
150

Provisioning virtual private networks under traffic uncertainty
ALTIN, A ; AMALDI, E ; BELOTTI, P ; et al.
Multicommodity flows and network designNetworks (New York, NY). 49(1):100-115

Control theory, operatio... Automatique, recherche o... Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
151

Proving thread termination
COOK, Byron ; PODELSKI, Andreas ; RYBALCHENKO, Andrey
PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, 2007, San Diego, CAACM SIGPLAN notices. 42(6):320-330

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
152

Profile-driven energy reduction in Network-on-Chips
FEIHUI LI ; GUANGYU CHEN ; KANDEMIR, Mahmut ; et al.
PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, 2007, San Diego, CAACM SIGPLAN notices. 42(6):394-404

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
153

Probabilistic description logic programs
LUKASIEWICZ, Thomas
Eighth European conference on symbolic and quantitative approaches to reasoning with uncertainty (ECSQARU 2005)International journal of approximate reasoning. 45(2):288-307

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
154

Power optimization for connectivity problems
HAJIAGHAYI, Mohammad T ; KORTSARZ, Guy ; MIRROKNI, Vahab S ; et al.
IPCO 2005, Berlin, June 8-10, 2005Mathematical programming. 110(1):195-208

Control theory, operatio... Automatique, recherche o... Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
155

Perception modeling for human-like artificial sensor systems
ROBERTSSON, Linn ; ILIEV, Boyko ; PALM, Rainer ; et al.
Ambient intelligenceInternational journal of human-computer studies. 65(5):446-459

Computer science Informatique Psychology, psychopathol... Psychologie, psychopatho... Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
156

Optimizing software cache performance of packet processing applications
QIN WANG ; JUNPU CHEN ; WEIHUA ZHANG ; et al.
Proceedings of the 2007 ACM SIGPLAN-SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2007), San Diego, California, June 13-15, 2007ACM SIGPLAN notices. 42(7):227-235

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
157

Optimal all-to-all personalized exchange in d-nary banyan multistage interconnection networks
LIU, Victor W ; CHIUYUAN CHEN ; CHEN, Richard B
Selected papers from the CTS Conference on Combinatorics and its Applications in Honor of Franck K. Hwang's 65th birthdayJournal of combinatorial optimization. 14(2-3):131-142

Control theory, operatio... Automatique, recherche o... Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
158

Open MPI : A high performance, flexible implementation of MPI point-to-point communications
GRAHAM, Richard L ; BARRETT, Brian W ; SHIPMAN, Galen M ; et al.
Clusters and computational grids for scientific computingParallel processing letters. 17(1):79-88

Control theory, operatio... Automatique, recherche o... Electronics Electronique Computer science Informatique
Conference
Save to List
159

On the minimum path problem in Knödel graphs
HARUTYUNYAN, Hovhannes A ; MOROSAN, Calin D
Special issue on Optimization in telecommunication and transportation networksNetworks (New York, NY). 50(1):86-91

Control theory, operatio... Automatique, recherche o... Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
160

On scheduling a multifunction radar
WINTER, Emilie ; BAPTISTE, Philippe
Sensor management in complex systemsAerospace science and technology. 11(4):289-294

Aeronautics astronautics Aéronautique, astronauti... Mechanics acoustics Mécanique et acoustique Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List

Filter