Sciweavers

1682 search results - page 59 / 337
» A behavior model for persuasive design
Sort
View
ISSS
1995
IEEE
109views Hardware» more  ISSS 1995»
15 years 9 months ago
1995 high level synthesis design repository
In this paper we brie y describe a set of designs that can serve as examples for High Level Synthesis (HLS) systems. The designs vary in complexity from simple behavioral nite st...
Preeti Ranjan Panda, Nikil D. Dutt
MEMOCODE
2010
IEEE
15 years 4 months ago
Proving transaction and system-level properties of untimed SystemC TLM designs
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
Daniel Große, Hoang M. Le, Rolf Drechsler
EDUTAINMENT
2007
Springer
16 years 9 days ago
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian
ROBOCUP
2001
Springer
116views Robotics» more  ROBOCUP 2001»
15 years 10 months ago
Biter: A Platform for the Teaching and Research of Multiagent Systems' Design Using RoboCup
We introduce Biter, a platform for the teaching and research of multiagent systems’ design. Biter implements a client for the RoboCup simulator. It provides users with the basic ...
Paul A. Buhler, José M. Vidal
VLSID
2000
IEEE
121views VLSI» more  VLSID 2000»
15 years 10 months ago
Design of Synchronous Action Systems
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...
Juha Plosila, Tiberiu Seceleanu