110 search results - page 11 / 22 » Perspectives of Granular Computing in Software Engineering |
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Web Services together with Service-Oriented Architectures (SOA) are playing an important role in the future of distributed computing, significantly impacting software development ...
118
click to vote
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
AO
2007
15 years 14 days ago
2007
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...
FOSSACS
2004
Springer
15 years 5 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
118
click to vote
CODES
2010
IEEE
14 years 10 months ago
2010
IEEE
The last years have shown that there is no way to disregard the advantages provided by multiprocessor System-on-Chip (MPSoC) architectures in the embedded systems domain. Using mu...