9443 search results - page 1584 / 1889 » Web-centric language models |
149
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
171
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
192
click to vote
ANSS
2007
IEEE
16 years 1 months ago
2007
IEEE
New approaches are considered for performance enhancement of discrete-event simulation software. Instead of taking a purely algorithmic analysis view, we supplement algorithmic co...
147
click to vote
GRC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Granular computing unifies structured thinking, structured problem solving and structured information processing. In order to see the flexibility and universal applicability ...
162
click to vote
PDP
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...