Sciweavers

3311 search results - page 507 / 663
» Deductive Object Programming
Sort
View
WWW
2010
ACM
15 years 9 months ago
Dynamic and graphical web page breakpoints
Breakpoints are perhaps the quintessential feature of a debugger: they allow a developer to stop time and study the program state. Breakpoints are typically specified by selectin...
John J. Barton, Jan Odvarko
SAC
2010
ACM
15 years 9 months ago
Software transactional memory for implicitly parallel functional language
During the last decade, software transactional memory (STM) gained wide popularity in many areas of parallel computing. In this paper, we introduce LISP-derived language equipped ...
Petr Krajca, Vilém Vychodil
PDP
2009
IEEE
15 years 9 months ago
Adding Aspect-Oriented Concepts to the High-Performance Component Model of SBASCO
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
Manuel Díaz, Sergio Romero, Bartolomé...
WWW
2009
ACM
15 years 9 months ago
Rapid prototyping of semantic mash-ups through semantic web pipes
The use of RDF data published on the Web for applications is still a cumbersome and resource-intensive task due to the limited software support and the lack of standard programmin...
Danh Le Phuoc, Axel Polleres, Manfred Hauswirth, G...
HYBRID
2009
Springer
15 years 9 months ago
Safe and Secure Networked Control Systems under Denial-of-Service Attacks
Abstract. We consider the problem of security constrained optimal control for discrete-time, linear dynamical systems in which control and measurement packets are transmitted over ...
Saurabh Amin, Alvaro A. Cárdenas, Shankar S...