Sciweavers

260 search results - page 38 / 52
» Array SSA Form and Its Use in Parallelization
Sort
View
HIPC
2003
Springer
14 years 21 days ago
Delay and Jitter Minimization in High Performance Internet Computing
Delay and jitter management in high performance active computation is a challenging problem in the emerging area of internet computing. The problem takes a complex new form from it...
Javed I. Khan, Seung Su Yang
CONCUR
2009
Springer
14 years 4 days ago
Concurrent Kleene Algebra
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
C. A. R. Hoare, Bernhard Möller, Georg Struth...
ANLP
2000
97views more  ANLP 2000»
13 years 8 months ago
Spelling and Grammar Correction for Danish in SCARRIE
This paper reports on work carried out to develop a spelling and grammar corrector for Danish, addressing in particular the issue of how a form of shallow parsing is combined with...
Patrizia Paggio
ENTCS
2002
71views more  ENTCS 2002»
13 years 7 months ago
A Simplified Account of the Metatheory of Linear LF
We present a variant of the linear logical framework LLF that avoids the restriction l-typed terms be in pre-canonical form and adds -abstraction at the level of families. We aban...
Joseph Vanderwaart, Karl Crary
JNW
2008
111views more  JNW 2008»
13 years 7 months ago
Wireless Sensor Network for Wearable Physiological Monitoring
Wearable physiological monitoring system consists of an array of sensors embedded into the fabric of the wearer to continuously monitor the physiological parameters and transmit wi...
Poondi Srinivasan Pandian, Kadavath Peedikayil Saf...