880 search results - page 158 / 176 » Model checking erlang programs: the functional approach |
141
Voted
CCIA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents J-MADeM, a new market-based multi-agent approach devoted to perform social simulations with BDI agents. J-MADeM is available as an open-source library...
242
Voted
WSC
2008
15 years 6 months ago
2008
Medical Imaging Centers (MIC) are critical units in every hospital or medical center because they are an important step in generating a patient's diagnostic. This paper shows...
121
Voted
RECONFIG
2009
IEEE
15 years 10 months ago
2009
IEEE
—We envision that future FPGA will use a hardwired network on chip (HWNoC) [14] as a unified interconnect for functional communications (data and control) as well as configurat...
130
Voted
CP
2007
Springer
15 years 10 months ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...
122
Voted
ISPASS
2006
IEEE
15 years 9 months ago
2006
IEEE
Despite years of study, branch mispredictions remain as a significant performance impediment in pipelined superscalar processors. In general, the branch misprediction penalty can...