4036 search results - page 538 / 808 » Formal Methods |
166
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
186
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
171
click to vote
SP
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Current web browsers are plagued with vulnerabilities, providing hackers with easy access to computer systems via browser-based attacks. Browser security efforts that re...
180
click to vote
SAS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
139
click to vote
TLDI
2005
ACM
16 years 5 days ago
2005
ACM
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....