Sciweavers

6722 search results - page 110 / 1345
» The DSML4MAS development environment
Sort
View
149
Voted
CORR
2007
Springer
127views Education» more  CORR 2007»
15 years 4 months ago
Common Reusable Verification Environment for BCA and RTL Models
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
Giuseppe Falconeri, Walid Naifer, Nizar Romdhane
238
Voted
DATE
1998
IEEE
165views Hardware» more  DATE 1998»
15 years 8 months ago
AGENDA: An Attribute Grammar Driven Environment for the Design Automation of Digital Systems
Attribute grammars have been used extensively in every phase of traditional compiler construction. Recently, it has been shown that they can also be effectively adopted to handle ...
George Economakos, George K. Papakonstantinou, Pan...
JUCS
2008
114views more  JUCS 2008»
15 years 4 months ago
CTML: Domain and Task Modeling for Collaborative Environments
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...
Maik Wurdel, Daniel Sinnig, Peter Forbrig
147
Voted
JUCS
2007
110views more  JUCS 2007»
15 years 4 months ago
Designing Collaborative Learning Environments Using Digital Games
: Collaborative learning environments require carefully crafted designs –both technical and social. This paper presents a model describing how to design socio-technical environme...
César A. Collazos, Luis A. Guerrero, Jos&ea...
140
Voted
CCGRID
2004
IEEE
15 years 8 months ago
Net-dbx-G: a Web-based debugger of MPI programs over Grid environments
Net-dbx-G is a tool that utilizes Java and other World Wide Web tools as an interface to Grid services to help Grid application developers debug their MPI programs from anywhere i...
Panayiotis Neophytou, Neophytos Neophytou, Paraske...