Sciweavers

1377 search results - page 163 / 276
» Flit-Reservation Flow Control
Sort
View
132
Voted
CGF
2010
128views more  CGF 2010»
15 years 4 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»
15 years 4 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»
15 years 4 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...
CORR
2006
Springer
93views Education» more  CORR 2006»
15 years 4 months ago
Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems
Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modelling the control flow of discrete dynamical systems. Every BP-system ha...
Joachim Wehler
ISEM
2006
90views more  ISEM 2006»
15 years 4 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