Sciweavers

1953 search results - page 201 / 391
» Embedded Probabilistic Programming
Sort
View
CONSTRAINTS
2007
100views more  CONSTRAINTS 2007»
15 years 2 months ago
Design of Financial CDO Squared Transactions Using Constraint Programming
We give an approximate and often extremely fast method of building a particular kind of portfolio in finance, here called a portfolio design (PD), with applications in the credit ...
Pierre Flener, Justin Pearson, Luis G. Reyna, Olof...
117
Voted
MICRO
2010
IEEE
175views Hardware» more  MICRO 2010»
15 years 14 days ago
Efficient Selection of Vector Instructions Using Dynamic Programming
Accelerating program performance via SIMD vector units is very common in modern processors, as evidenced by the use of SSE, MMX, VSE, and VSX SIMD instructions in multimedia, scien...
Rajkishore Barik, Jisheng Zhao, Vivek Sarkar
127
Voted
AMI
2009
Springer
15 years 9 months ago
SAGE: A Logical Agent-Based Environment Monitoring and Control System
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
Krysia Broda, Keith Clark, Rob Miller 0002, Alessa...
126
Voted
FPL
2007
Springer
176views Hardware» more  FPL 2007»
15 years 8 months ago
ReconOS: An RTOS supporting Hard- and Software Threads
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
Enno Lübbers, Marco Platzner
WAC
2004
Springer
150views Communications» more  WAC 2004»
15 years 8 months ago
A Systems Architecture for Sensor Networks Based On Hardware/Software Co-design
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
Andy Nisbet, Simon Dobson