526 search results - page 52 / 106 » Towards a Library for Process Programming |
HOTOS
2007
IEEE
15 years 1 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—In this paper we propose a virtualization layer to handle the program execution on reconfigurable computers in order to address one of their biggest problems which is the manage...
CANDC
2009
ACM
15 years 4 months ago
2009
ACM
Robotic interfaces combined with virtual reality provide an unparalleled platform for cognition research. Using a combination of design strategy, trend analysis and the programmin...
AAAI
2010
14 years 11 months ago
2010
Software developers increasingly rely on information from the Web, such as documents or code examples on Application Programming Interfaces (APIs), to facilitate their development...
65
Voted
COLING
2010
14 years 4 months ago
2010
LTP (Language Technology Platform) is an integrated Chinese processing platform which includes a suite of high performance natural language processing (NLP) modules and relevant c...