Sciweavers

1477 search results - page 223 / 296
» Token flow control
Sort
View
CGF
2010
128views more  CGF 2010»
13 years 10 months ago
An Optimizing Compiler for Automatic Shader Bounding
Programmable shading provides artistic control over materials and geometry, but the black box nature of shaders makes some rendering optimizations difficult to apply. In many case...
Petrik Clarberg, Robert Toth, Jon Hasselgren, Toma...
ENTCS
2010
71views more  ENTCS 2010»
13 years 10 months ago
Unifying Architectural and Behavioural Specifications of Distributed Components
We present a novel specification language called JDC to be used at design phase of distributed components. The extensive seek for asynchrony in distributed components demands new ...
Antonio Cansado, Ludovic Henrio, Eric Madelaine, P...
FUIN
2008
91views more  FUIN 2008»
13 years 10 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
Erika Ábrahám, Frank S. de Boer, Wil...
ISEM
2006
90views more  ISEM 2006»
13 years 10 months ago
Using GXL for exchanging business process models
Abstract The GXL Graph eXchange Language is an XML-based standard exchange language for sharing graph data between tools. GXL can be customized to exchange application specific typ...
Andreas Winter, Carlo Simon
JUCS
2008
120views more  JUCS 2008»
13 years 10 months ago
An Adaptation Logic Framework for Java-based Component Systems
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...
Enrico Oliva, Antonio Natali, Alessandro Ricci, Mi...