Sciweavers

626 search results - page 34 / 126
» Towards a Unified Programming Language
Sort
View
CSE
2009
IEEE
14 years 1 months ago
SCI: Towards a Social Collaborative Integrated Development Environment
Software development teams face challenges communicating with each other. This paper presents the design of a social real-time collaborative IDE called SCI that unifies the concep...
Hani Bani-Salameh, Clinton Jeffery, Jafar Al-Ghara...
CF
2009
ACM
14 years 4 months ago
Towards automatic program partitioning
There is a trend towards using accelerators to increase performance and energy efficiency of general-purpose processors. Adoption of accelerators, however, depends on the availabi...
Sean Rul, Hans Vandierendonck, Koen De Bosschere
CHARME
2001
Springer
117views Hardware» more  CHARME 2001»
14 years 2 months ago
A Higher-Level Language for Hardware Synthesis
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
Richard Sharp, Alan Mycroft
ICLP
2005
Springer
14 years 3 months ago
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
Hans Tompits, Stefan Woltran
VL
1999
IEEE
14 years 2 months ago
Extending UML for Modeling of Multimedia Applications
An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical u...
Stefan Sauer, Gregor Engels