Sciweavers

8496 search results - page 1340 / 1700
» Problem Solving and Complex Systems
Sort
View
SEW
2003
IEEE
15 years 12 months ago
Model-Based Software Testing via Incremental Treatment Learning
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
Dustin Geletko, Tim Menzies
ISPD
2003
ACM
88views Hardware» more  ISPD 2003»
15 years 12 months ago
Porosity aware buffered steiner tree construction
— In order to achieve timing closure on increasingly complex IC designs, buffer insertion needs to be performed on thousands of nets within an integrated physical synthesis syste...
Charles J. Alpert, Gopal Gandham, Milos Hrkic, Jia...
UML
2001
Springer
15 years 11 months ago
Refactoring UML Models
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
Gerson Sunyé, Damien Pollet, Yves Le Traon,...
ATAL
1999
Springer
15 years 11 months ago
Towards a Distributed, Environment-Centered Agent Framework
Abstract. This paper will discuss the internal architecture for an agent framework called DECAF (Distributed Environment Centered Agent Framework). DECAF is a software toolkit for ...
John R. Graham, Keith Decker
RSP
1999
IEEE
160views Control Systems» more  RSP 1999»
15 years 11 months ago
Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
Oliver Bringmann, Wolfgang Rosenstiel, Annette Mut...
« Prev « First page 1340 / 1700 Last » Next »