Sciweavers

2362 search results - page 281 / 473
» Programming in Standard ML
Sort
View
IWANN
2009
Springer
15 years 10 months ago
Outdoors Monitoring of Elderly People Assisted by Compass, GPS and Mobile Social Network
Abstract. We explore the use of mobile social network technology combined with modern mobile phone hardware as a platform for programming applications in the elder care area. An ap...
Roberto Calvo-Palomino, Pedro de las Heras Quir&oa...
TSD
2009
Springer
15 years 10 months ago
The Czech Broadcast Conversation Corpus
Abstract. This paper presents the final version of the Czech Broadcast Conversation Corpus released at the Linguistic Data Consortium (LDC). The corpus contains 72 recordings of a...
Jáchym Kolár, Jan Svec
SAC
2010
ACM
15 years 10 months ago
RTTM: real-time transactional memory
Hardware transactional memory is a promising synchronization technology for chip-multiprocessors. It simplifies programming of concurrent applications and allows for higher concu...
Martin Schoeberl, Florian Brandner, Jan Vitek
ECRTS
2008
IEEE
15 years 10 months ago
WCET-driven Cache-based Procedure Positioning Optimizations
Procedure Positioning is a well known compiler optimization aiming at the improvement of the instruction cache behavior. A contiguous mapping of procedures calling each other freq...
Paul Lokuciejewski, Heiko Falk, Peter Marwedel
ICONS
2008
IEEE
15 years 10 months ago
A Systems Engineering Approach to Exception Handling
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...
Herbert Hecht