Sciweavers

880 search results - page 87 / 176
» Semantics-Based Concurrency Control
Sort
View
MICRO
2000
IEEE
98views Hardware» more  MICRO 2000»
15 years 6 months ago
Efficient conditional operations for data-parallel architectures
Many data-parallel applications, including emerging media applications, have regular structures that can easily be expressed as a series of arithmetic kernels operating on data st...
Ujval J. Kapasi, William J. Dally, Scott Rixner, P...
ICLP
2010
Springer
15 years 6 months ago
Logic Programming Foundations of Cyber-Physical Systems
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
Neda Saeedloei
104
Voted
ICSE
2000
IEEE-ACM
15 years 6 months ago
Software configuration management: a roadmap
This paper, in the first chapter summarizes the state of the art in SCM, showing the evolution along the last 25 years. Chapter 2 shows the current issues and current research wor...
Jacky Estublier
88
Voted
HPN
1998
15 years 3 months ago
A Scalable Protocol for Reporting Periodically Using Multicast IP
We propose a protocol that controls the members of a multicast group that send periodically status reports to all members. The protocol, called Multicast Access Protocol (MAP), li...
Ljubica Blazevic, Eric Gauthier
INFOCOM
2012
IEEE
13 years 4 months ago
SageShift: Managing SLAs for highly consolidated cloud
– Maximizing consolidation ratio, the number of virtual machines (VMs) in a physical machine, without violating customers’ SLAs is an important goal in the cloud. We show that ...
Orathai Sukwong, Akkarit Sangpetch, Hyong S. Kim