Sciweavers

1631 search results - page 223 / 327
» Extreme Programming - Back to Basics
Sort
View
ICCD
1992
IEEE
82views Hardware» more  ICCD 1992»
14 years 2 months ago
A Comparison of Self-Timed Design Using FPGA, CMOS, and GaAs Technologies
Asynchronous or self-timed systems that do not rely on a global clock to keep system components synchronized can offer significant advantages over traditional clocked circuits in ...
Erik Brunvand, Nick Michell, Kent F. Smith
CDC
2009
IEEE
201views Control Systems» more  CDC 2009»
14 years 1 months ago
Consensus of discrete-time multi-agent systems with nonlinear local rules and time-varying delays
In a multi-agent system (MAS), the agents are often considered to be autonomous entities, such as robots or software programs, each under the influence of a local rule, representin...
Yao Chen, Jinhu Lu, Zongli Lin
DEXAW
2004
IEEE
99views Database» more  DEXAW 2004»
14 years 1 months ago
GI-Cat: a Web Service for Dataset Cataloguing Based on ISO 19115
In this article, we present the GI-Cat web service: a SOAP-based service which provides the basic functionalities for GI dataset cataloguing and access. The introduced GI-Cat data...
Lorenzo Bigagli, Stefano Nativi, Paolo Mazzetti, G...
FOSSACS
2006
Springer
14 years 1 months ago
Smooth Orchestrators
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...
Cosimo Laneve, Luca Padovani
ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
14 years 1 months ago
Analysis of Compiled Code: A Prototype Formal Model
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
R. D. Arthan