Sciweavers

3971 search results - page 530 / 795
» On the Use of Properties in Java Applications
Sort
View
ICRA
2005
IEEE
186views Robotics» more  ICRA 2005»
16 years 23 days ago
Characterization of Infrared Range-Finder PBS-03JN for 2-D Mapping
- This paper presents a characterization study of the HOKUYO PBS-03JN Infrared range-finder and compares it to the characterization of the SICK LMS-200 laser rangefinder for use in...
Majd Alwan, Matthew Wagner, Glenn S. Wasson, Pradi...
ISCAS
2005
IEEE
173views Hardware» more  ISCAS 2005»
16 years 23 days ago
Slack-time aware routing in NoC systems
—Efficient routing schemes are essential if Network on Chip (NoC) architectures are to be used for implementing multi-core systems for real-time multi-media applications. These s...
Daniel Andreasson, Shashi Kumar
WCFLP
2005
ACM
16 years 22 days ago
A generic analysis environment for declarative programs
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
Michael Hanus
AOSE
2005
Springer
16 years 21 days ago
Applying Multi-agent Concepts to Dynamic Plug-In Architectures
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri netbased MAS framework Mulan. By transferring the concept...
Lawrence Cabac, Michael Duvigneau, Daniel Moldt, H...
ZUM
2005
Springer
142views Formal Methods» more  ZUM 2005»
16 years 19 days ago
Formal Program Development with Approximations
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
Eerke A. Boiten, John Derrick