Sciweavers

1675 search results - page 172 / 335
» A Structured Approach to Parallel Programming: Methodology a...
Sort
View
UML
1997
Springer
15 years 8 months ago
Systems, Views and Models of UML
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe...
AUTOMATICA
2007
93views more  AUTOMATICA 2007»
15 years 4 months ago
Development of omni-directional correlation functions for nonlinear model validation
In the present study a set of first order correlation functions are proposed to examine the quality of a wide class of identified nonlinear models. The first order correlation ...
Quan Min Zhu, Li Feng Zhang, Ashley Longden
ICLP
2004
Springer
15 years 9 months ago
Protein Folding Simulation in CCP
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...
Alessandro Dal Palù, Agostino Dovier, Feder...
ISVLSI
2003
IEEE
138views VLSI» more  ISVLSI 2003»
15 years 9 months ago
Bouncing Threads: Merging a New Execution Model into a Nanotechnology Memory
The need for small, high speed, low power computers as the end of Moore’s law approaches is driving research into nanotechnology. These novel devices have significantly differe...
Sarah E. Frost, Arun Rodrigues, Charles A. Giefer,...
CL
2000
Springer
15 years 3 months ago
Associative definition of programming languages
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
Stefano Crespi-Reghizzi, Matteo Pradella, Pierluig...