Sciweavers

541 search results - page 38 / 109
» Human stigmergy: Theoretical developments and new applicatio...
Sort
View
SOFSEM
2009
Springer
16 years 3 months ago
From Outermost Termination to Innermost Termination
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...
René Thiemann
ICYCS
2008
IEEE
16 years 27 days ago
A Trust-Enabling Support for Goal-Based Services
Service-Oriented Computing allows new applications to be developed by using and/or combining services offered by different providers. In several cases a service needs sensitive in...
Luiz Olavo Bonino da Silva Santos, Luís Fer...
SCCC
1998
IEEE
15 years 10 months ago
Resurrecting Ada's Rendez-Vous in Java
Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare's Monito...
Luis Mateu, José M. Piquer, Juan Leó...
DATE
2002
IEEE
138views Hardware» more  DATE 2002»
15 years 11 months ago
Automatic Evaluation of the Accuracy of Fixed-Point Algorithms
The minimization of cost, power consumption and timeto-market of DSP applications requires the development of methodologies for the automatic implementation of floating-point alg...
Daniel Menard, Olivier Sentieys
APCCAS
2002
IEEE
111views Hardware» more  APCCAS 2002»
15 years 11 months ago
Low-voltage high-speed PWM signal generations based on relaxation oscillator
This paper new two simple PWM (Pulse Width Modulation) signal generations based on modified relaxation oscillator are introduced. Their advantages of the proposed principle are th...
Montree Siripruchyanun, Paramote Wardkein