4401 search results - page 692 / 881 » Computing with Default Logic |
123
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
169
click to vote
ARITH
2005
IEEE
15 years 10 months ago
2005
IEEE
The floating-point unit in the Synergistic Processor Element of the 1st generation multi-core CELL Processor is described. The FPU supports 4-way SIMD single precision and intege...
142
click to vote
ASAP
2005
IEEE
15 years 10 months ago
2005
IEEE
With continued reductions in feature size, additional functionality may be added to future microprocessors to boost the performance of important application domains. Due to growth...
143
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
Data services for the Grid have focussed so far primarily on virtualising access to distributed databases, and encapsulating file location. However, orchestration of services requ...
131
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...