6274 search results - page 175 / 1255 » Proofs, Programs, Processes |
147
click to vote
ICASSP
2008
IEEE
16 years 26 days ago
2008
IEEE
Signals and systems lab courses that are currently offered at many universities are mostly based on textbased programming languages and environments, in particular MATLAB. This pa...
152
click to vote
MODELS
2009
Springer
16 years 29 days ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
177
click to vote
RSA
2000
15 years 6 months ago
2000
The creation and growth of components of a given complexity in a random graph process are studied. In particular, the expected number and total size of all such components is found...
168
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
A major difficulty of heterogeneous process migration is how to collect advanced dynamic data-structures, transform them into machine independent form, and restor them appropriate...
158
click to vote
ACE
2004
15 years 7 months ago
2004
This paper describes the integration of the Personal Software Process (PSP) into an introductory database course in an MIS curriculum. PSP is a highly disciplined, process-based a...