4438 search results - page 792 / 888 » The Case for Collaborative Programming |
181
click to vote
ECRTS
2005
IEEE
15 years 10 months ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
142
click to vote
ASPDAC
2005
ACM
15 years 10 months ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
173
Voted
ICAIL
2005
ACM
15 years 10 months ago
2005
ACM
Computational resources for research in legal environments have historically implied remote access to large databases of legal documents such as case law, statutes, law reviews an...
147
Voted
WINE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We provide the first strongly polynomial time exact combinatorial algorithm to compute Fisher equilibrium for the case when utility functions do not satisfy the Gross su...
136
click to vote
CASES
2004
ACM
15 years 10 months ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...