Sciweavers

5506 search results - page 1098 / 1102
» Visualizing Software Changes
Sort
View
BIRTHDAY
2010
Springer
14 years 7 months ago
Database Theory, Yuri, and Me
Yuri Gurevich made many varied and deep contributions to logic for computer science. Logic provides also the theoretical foundation of database systems. Hence, it is almost unavoid...
Jan Van den Bussche
IJEIS
2010
80views more  IJEIS 2010»
14 years 7 months ago
Semantics for Accurate Conflict Detection in SMoVer: Specification, Detection and Presentation by Example
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this, a multitude of pessimistic as well as optimistic VCSs for model artifa...
Kerstin Altmanninger, Wieland Schwinger, Gabriele ...
SCP
2011
305views Communications» more  SCP 2011»
14 years 5 months ago
DESOLA: An active linear algebra library using delayed evaluation and runtime code generation
Active libraries can be defined as libraries which play an active part in the compilation, in particular, the optimisation of their client code. This paper explores the implement...
Francis P. Russell, Michael R. Mellor, Paul H. J. ...
MICRO
2010
IEEE
202views Hardware» more  MICRO 2010»
14 years 5 months ago
Hardware Support for Relaxed Concurrency Control in Transactional Memory
Today's transactional memory systems implement the two-phase-locking (2PL) algorithm which aborts transactions every time a conflict happens. 2PL is a simple algorithm that pr...
Utku Aydonat, Tarek S. Abdelrahman
TASLP
2010
132views more  TASLP 2010»
14 years 5 months ago
Using Reverberation to Improve Range and Elevation Discrimination for Small Array Sound Source Localization
Sound source localization (SSL) is an essential task in many applications involving speech capture and enhancement. As such, speaker localization with microphone arrays has receive...
Flavio Ribeiro, Cha Zhang, Dinei A. F. Florê...
« Prev « First page 1098 / 1102 Last » Next »