Sciweavers

1404 search results - page 101 / 281
» On the Behavior of Complex Object-Oriented Systems
Sort
View
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 9 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
137
Voted
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
15 years 9 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
PRICAI
2010
Springer
15 years 3 months ago
Towards Artificial Systems: What Can We Learn from Human Perception?
Research in learning algorithms and sensor hardware has led to rapid advances in artificial systems over the past decade. However, their performance continues to fall short of the ...
Heinrich H. Bülthoff, Lewis L. Chuang
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
15 years 10 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
ICCS
2003
Springer
15 years 9 months ago
Performance Instrumentation and Measurement for Terascale Systems
As computer systems grow in size and complexity, tool support is needed to facilitate the efficient mapping of large-scale applications onto these systems. To help achieve this ma...
Jack Dongarra, Allen D. Malony, Shirley Moore, Phi...