754 search results - page 50 / 151 » Architectural Abstractions for Hybrid Programs |
245
Voted
FPGA
2011
ACM
14 years 4 months ago
2011
ACM
In this paper, we introduce a new open source high-level synthesis tool called LegUp that allows software techniques to be used for hardware design. LegUp accepts a standard C pro...
113
Voted
AAAI
2004
15 years 2 months ago
2004
The Seldon model combines concepts from agent-based modeling and social network analysis to create a computation model of social dynamics for terrorist recruitment. The underlying...
155
click to vote
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
206
Voted
PADL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
103
click to vote
COMPSAC
1999
IEEE
15 years 5 months ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...