Sciweavers

2550 search results - page 292 / 510
» Architecture as Language
Sort
View
ACSD
2001
IEEE
112views Hardware» more  ACSD 2001»
15 years 10 months ago
Software Implementation of Synchronous Programs
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
Charles Andre, Frédéric Boulanger, A...
TPHOL
2000
IEEE
15 years 10 months ago
Formal Verification of IA-64 Division Algorithms
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
John Harrison
CSC
2007
15 years 8 months ago
Visualization a la Unix
A visualization framework can be seen as a solution to a specialized data flow problem. Spiegel1 is a visualization framework which uses the Unix pipeline model to execute program...
Hans-Peter Bischof, Tim Peterson
FMOODS
2007
15 years 8 months ago
Distributed Applications Implemented in Maude with Parameterized Skeletons
Abstract. Algorithmic skeletons are a well-known approach for implementing parallel and distributed applications. Declarative versions typically use higher-order functions in funct...
Adrián Riesco, Alberto Verdejo
IASTEDSEA
2004
15 years 8 months ago
Generic approach to internationalization of websites
There is a growing interest in international collaboration, and therefore a need for internationalized software that can be localized to various languages. Traditionally, systems ...
Tomasz Müldner, Darcy G. Benoit, Fei Wang