5465 search results - page 48 / 1093 » Assigning Types to Processes |
TCS
2008
13 years 7 months ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
COCOON
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The Sugiyama framework is the most commonly used concept for visualizing directed graphs. It draws them in a hierarchical way and operates in four phases: cycle removal, ...
ICCAD
1994
IEEE
13 years 11 months ago
1994
IEEE
Application Specific Instruction-Set Processors (ASIPs) offer designers the ability for high-speed data and control processing with the added flexibility needed for late design sp...
SI3D
2010
ACM
14 years 2 months ago
2010
ACM
Virtual environments are typically textured by manually choosing an image to apply on each surface. This implies browsing through large sets of generic textures for each and every...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Multiparty collaborative applications in which groups of people act in concert to achieve some real-world goal abound. In these situations, it is useful for a central planning age...