1833 search results - page 127 / 367 » Mechanized Verification with Sharing |
162
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
Advances in semiconductor technologies have placed MPSoCs center stage as a standard architecture for embedded applications of ever increasing complexity. Efficient utilization of...
116
click to vote
SOFTVIS
2005
ACM
15 years 10 months ago
2005
ACM
Programming in parallel is an error-prone and complex task compounded by the lack of tool support for both programming and debugging. Recent advances in compiler-directed shared m...
142
click to vote
ESANN
2006
15 years 6 months ago
2006
Abstract. The EENCL algorithm [1] automatically designs neural network ensembles for classification, combining global evolution with local search based on gradient descent. Two mec...
135
click to vote
PDPTA
1997
15 years 6 months ago
1997
Distributed Inter-Process Communication (DIPC) provides the programmers of the Linux operating system with distributed programming facilities, including Distributed Shared Memory ...
226
click to vote
IHI
2012
14 years 5 days ago
2012
Electronic Health Record (EHR) and Personal Health Record (PHR) systems could allow patients to better manage their health information and share it to enhance the quality and effi...