Sciweavers

10899 search results - page 407 / 2180
» The GP Programming System
Sort
View
TOOLS
2009
IEEE
16 years 1 months ago
Fast Simulation Techniques for Design Space Exploration
— In this paper, we present our current work on a UML based environment providing efficient means for system
Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet
160
Voted
POS
1998
Springer
15 years 11 months ago
Evaluating Usability Aspects of PJama Based on Source Code Measurements
PJama is a system that provides orthogonal persistence defined by reach
Stein Grimstad, Dag I. K. Sjøberg, Malcolm ...
WSC
2004
15 years 8 months ago
Ideas for Modeling and Simulation of Supply Chains with Arena
This paper presents a research project being developed at the Industrial and Systems Engineering Graduate Program at the Catholic University of Paran
Guilherme Ernani Vieira
IFIP
2009
Springer
15 years 4 months ago
Specification and Verification of Side Channel Declassification
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
Josef Svenningsson, David Sands
VMCAI
2012
Springer
14 years 2 months ago
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
Tobias Nipkow