Sciweavers

5668 search results - page 1011 / 1134
» The case for software evolution
Sort
View
79
Voted
CAV
2010
Springer
179views Hardware» more  CAV 2010»
15 years 1 months ago
Generating Litmus Tests for Contrasting Memory Consistency Models
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
ESCIENCE
2007
IEEE
15 years 1 months ago
SOAs for Scientific Applications: Experiences and Challenges
Over the past several years, with the advent of the Open Grid Services Architecture (OGSA) [10] and the Web Services Resource Framework (WSRF) [14], Service-Oriented Architectures...
Sriram Krishnan, Karan Bhatia
GIR
2007
ACM
15 years 1 months ago
Geographically-aware information retrieval for collections of digitized historical maps
DIGMAP is a project focused on historical digitized maps that will develop a set of Internet services based on reusable open-source software solutions. The main service will provi...
Bruno Martins, José Luis Borbinha, Gilberto...
82
Voted
GROUP
2007
ACM
15 years 1 months ago
Identity management: multiple presentations of self in facebook
As the use of social networking websites becomes increasingly common, the types of social relationships managed on these sites are becoming more numerous and diverse. This researc...
Joan Morris DiMicco, David R. Millen
HIPC
2007
Springer
15 years 1 months ago
Accomplishing Approximate FCFS Fairness Without Queues
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
K. Subramani, Kamesh Madduri
« Prev « First page 1011 / 1134 Last » Next »