Sciweavers

7576 search results - page 141 / 1516
» UNIX as an Application Program
Sort
View
IJPP
2011
107views more  IJPP 2011»
14 years 11 months ago
Parallel Iterator for Parallelizing Object-Oriented Applications
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...
Nasser Giacaman, Oliver Sinnen
CHARME
2001
Springer
98views Hardware» more  CHARME 2001»
15 years 9 months ago
Hardware Synthesis Using SAFL and Application to Processor Design
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...
Alan Mycroft, Richard Sharp
IJAIT
2006
136views more  IJAIT 2006»
15 years 4 months ago
Model Checking for Multiagent Systems: the Mable Language and its Applications
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
Michael Wooldridge, Marc-Philippe Huget, Michael F...
NAR
2007
129views more  NAR 2007»
15 years 3 months ago
taveRNA: a web suite for RNA algorithms and applications
We present taveRNA, a web server package that hosts three RNA web services: alteRNA, inteRNA and pRuNA. alteRNA is a new alternative for RNA secondary structure prediction. It is ...
Cagri Aksay, Raheleh Salari, Emre Karakoç, ...
ER
1998
Springer
123views Database» more  ER 1998»
15 years 8 months ago
From Object Oriented Conceptual Modeling to Automated Programming in Java
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
Oscar Pastor, Vicente Pelechano, Emilio Insfr&aacu...