Sciweavers

7694 search results - page 182 / 1539
» An Implementation of an Applicative File System
Sort
View
ACSAC
2006
IEEE
15 years 11 months ago
From Languages to Systems: Understanding Practical Application Development in Security-typed Languages
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
Boniface Hicks, Kiyan Ahmadizadeh, Patrick Drew Mc...
ISTA
2003
15 years 6 months ago
Formal Modeling of Communication Traces
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko,...
LREC
2010
135views Education» more  LREC 2010»
15 years 6 months ago
Language Resource Management System for Asian WordNet Collaboration and Its Web Service Application
This paper presents the language resource management system for the development and dissemination of Asian WordNet (AWN) and its web service application. We develop the platform t...
Virach Sornlertlamvanich, Thatsanee Charoenporn, H...
154
Voted
ISCA
2005
IEEE
172views Hardware» more  ISCA 2005»
15 years 10 months ago
An Ultra Low Power System Architecture for Sensor Network Applications
Recent years have seen a burgeoning interest in embedded wireless sensor networks with applications ranging from habitat monitoring to medical applications. Wireless sensor networ...
Mark Hempstead, Nikhil Tripathi, Patrick Mauro, Gu...
IPPS
2008
IEEE
15 years 11 months ago
A simple power-aware scheduling for multicore systems when running real-time applications
High-performance microprocessors, e.g., multithreaded and multicore processors, are being implemented in embedded real-time systems because of the increasing computational require...
Diana Bautista, Julio Sahuquillo, Houcine Hassan, ...