4258 search results - page 706 / 852 » Languages and Interactive Software Development |
165
click to vote
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
The Java Programming Language has been praised for its platform independence and portability, but because of its slow execution speed on a software Java Virtual Machine (JVM), som...
130
click to vote
ADG
2006
Springer
15 years 6 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
109
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Support for optimistic parallelism such as thread-level speculation (TLS) and transactional memory (TM) has been proposed to ease the task of parallelizing software to exploit the...
127
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
We explore the extent to which newly available CPU-based security technology can reduce the Trusted Computing Base (TCB) for security-sensitive applications. We find that although...
122
click to vote
DALT
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In order to facilitate the development of agent-based software, several agent programming languages and architectures, have been created. Plans in these architectures are...