Sciweavers

3852 search results - page 638 / 771
» Construction of Codes for Network Coding
Sort
View
XPU
2010
Springer
15 years 4 months ago
Put It to the Test: Using Lightweight Experiments to Improve Team Processes
Experimentation is one way to gain insight into how processes perform for a team, but industry teams rarely do experiments, fearing that such educational excursions will incur extr...
Michael Keeling
APLAS
2010
ACM
15 years 4 months ago
Live Heap Space Bounds for Real-Time Systems
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
Martin Kero, Pawel Pietrzak, Johan Nordlander
IFM
2010
Springer
183views Formal Methods» more  IFM 2010»
15 years 4 months ago
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
Javier de Dios, Manuel Montenegro, Ricardo Pe&ntil...
MICRO
2010
IEEE
242views Hardware» more  MICRO 2010»
15 years 4 months ago
ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory
Advanced Synchronization Facility (ASF) is an AMD64 hardware extension for lock-free data structures and transactional memory. It provides a speculative region that atomically exec...
Jae-Woong Chung, Luke Yen, Stephan Diestelhorst, M...
ICMCS
2009
IEEE
110views Multimedia» more  ICMCS 2009»
15 years 3 months ago
Visual content layer for scalable object recognition in urban image databases
Rich online map interaction represents a useful tool to get multimedia information related to physical places. With this type of systems, users can automatically compute the optim...
Xavier Baró, Sergio Escalera, Petia Radeva,...