2850 search results - page 340 / 570 » On Timed Models and Full Abstraction |
162
click to vote
WSC
2004
15 years 8 months ago
2004
This paper documents an experiment designed to show the value of simulation in understanding the relationship between production run lengths and overall supply chain performance. ...
183
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
An aggregate signature scheme is a digital signature scheme where anyone given n signatures on n messages from n users can aggregate all these signatures into a single short signa...
206
click to vote
JACM
2000
15 years 6 months ago
2000
We identify and study a natural and frequently occurring subclass of Concurrent Read, Exclusive Write Parallel Random Access Machines (CREW-PRAMs). Called Concurrent Read, Owner Wr...
188
click to vote
PROMISE
2010
15 years 1 months ago
2010
BACKGROUND: Defect predictors learned from static code measures can isolate code modules with a higher than usual probability of defects. AIMS: To improve those learners by focusi...
182
click to vote
ASAP
2005
IEEE
16 years 10 days ago
2005
IEEE
As billion transistor System-on-chips (SoC) become commonplace and design complexity continues to increase, designers are faced with the daunting task of meeting escalating design...