Sciweavers

1456 search results - page 154 / 292
» DYANA: An Environment for Embedded System Design and Analysi...
Sort
View
CASES
2007
ACM
15 years 10 months ago
SCCP/x: a compilation profile to support testing and verification of optimized code
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
Raimund Kirner
ICDE
2007
IEEE
110views Database» more  ICDE 2007»
16 years 24 days ago
SQL Anywhere: A Holistic Approach to Database Self-management
In this paper we present an overview of the selfmanagement features of SQL Anywhere, a full-function relational database system designed for frontline business environments with m...
Ivan T. Bowman, Peter Bumbulis, Dan Farrar, Anil K...
CP
2000
Springer
15 years 10 months ago
Constraint-Based Agents: The ABC's of CBA's
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
Alan K. Mackworth
CORR
2002
Springer
93views Education» more  CORR 2002»
15 years 6 months ago
Ellogon: A New Text Engineering Platform
This paper presents Ellogon, a multi-lingual, cross-platform, general-purpose text engineering environment. Ellogon was designed in order to aid both researchers in natural langua...
Georgios Petasis, Vangelis Karkaletsis, Georgios P...
EMSOFT
2010
Springer
15 years 4 months ago
A marketplace for cloud resources
Cloud computing is an emerging paradigm aimed to offer users pay-per-use computing resources, while leaving the burden of managing the computing infrastructure to the cloud provid...
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, T...