2362 search results - page 442 / 473 » Programming in Standard ML |
183
click to vote
RTAS
2008
IEEE
16 years 11 days ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
172
click to vote
CODES
2007
IEEE
16 years 10 days ago
2007
IEEE
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...
130
click to vote
PDP
2007
IEEE
16 years 7 days ago
2007
IEEE
Scientific and engineering programming has been around since the beginning of computing, often being the driving force for new system development and innovation. At the same time...
154
click to vote
ATAL
2007
Springer
16 years 5 days ago
2007
Springer
Reinforcement learning promises a generic method for adapting agents to arbitrary tasks in arbitrary stochastic environments, but applying it to new real-world problems remains di...
173
click to vote
CCS
2007
ACM
16 years 5 days ago
2007
ACM
Security researchers are applying software reliability models to vulnerability data, in an attempt to model the vulnerability discovery process. I show that most current work on t...