Sciweavers

7167 search results - page 379 / 1434
» Answer Set Programming
Sort
View
115
Voted
DYNAMO
2000
74views more  DYNAMO 2000»
15 years 4 months ago
A framework for remote dynamic program optimization
Dynamic program optimization allows programs to be generated that are highly tuned for a given environment and input data set. Optimization techniques can be applied and re-applie...
Michael Voss, Rudolf Eigenmann
POPL
2011
ACM
14 years 6 months ago
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Pe...
JUCS
2007
90views more  JUCS 2007»
15 years 3 months ago
High-level Structured Interactive Programs with Registers and Voices
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
Alexandru Popa, Alexandru Sofronia, Gheorghe Stefa...
119
Voted
ICFP
2006
ACM
16 years 3 months ago
Type-theoretic design patterns
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
Ondrej Rypacek, Roland Carl Backhouse, Henrik Nils...
312
Voted

Tutorial
723views
17 years 2 months ago
MATLAB Tutorials
Set of MATLB tutorials covers the following topics: programming in the language of MATLAB, linear algebra, matrix computations, numerical analysis and linear programming with MATLA...