Sciweavers

717 search results - page 81 / 144
» Kill-safe synchronization abstractions
Sort
View
ISCIS
2005
Springer
15 years 5 months ago
A Secure Communication Framework for Mobile Agents
Abstract. Communication, a fundamental concept in computing, allows two pieces of software to interact and to exchange information. It is an important aspect of mobile agent system...
Suat Ugurlu, Nadia Erdogan
LCPC
2005
Springer
15 years 5 months ago
Concurrency Analysis for Parallel Programs with Textually Aligned Barriers
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
Amir Kamil, Katherine A. Yelick
PATMOS
2005
Springer
15 years 5 months ago
Enhanced GALS Techniques for Datapath Applications
Abstract. Based on a previously reported request driven technique for Globally-Asynchronous Locally-Synchronous (GALS) circuits this paper presents two significant enhancements. Fi...
Eckhard Grass, Frank Winkler, Milos Krstic, Alexan...
CAISE
2004
Springer
15 years 5 months ago
Activity-Based Support for Mobility and Collaboration in Ubiquitous Computing
Abstract. This paper presents the design philosophy of activity-based computing (ABC), which addresses mobility and cooperation in human work activities. Furthermore, it presents t...
Jakob Bardram
NPC
2004
Springer
15 years 5 months ago
Accurate Emulation of Wireless Sensor Networks
Abstract. Wireless sensor networks (WSNs) have a wide range of useful, datacentric applications, and major techniques involved in these applications include in-network query proces...
Hejun Wu, Qiong Luo, Pei Zheng, Bingsheng He, Lion...