Sciweavers

1925 search results - page 4 / 385
» Dynamic Typing
Sort
View
IJON
2007
77views more  IJON 2007»
13 years 7 months ago
Reliability and stochastic synchronization in type I vs. type II neural oscillators
Neural reliability and stochastic synchronization are remarkable features of real neurons with important consequences for neural computation. Both phenomena are general properties...
Roberto Fdez. Galán, Bard Ermentrout, Natha...
POPL
2011
ACM
12 years 10 months ago
Dynamic inference of static types for ruby
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. F...
FLOPS
2008
Springer
13 years 9 months ago
Typed Dynamic Control Operators for Delimited Continuations
Abstract. We study the dynamic control operators for delimited continuations, control and prompt. Based on recent developments on purely functional CPS translations for them, we in...
Yukiyoshi Kameyama, Takuo Yonezawa
WWIC
2004
Springer
133views Communications» more  WWIC 2004»
14 years 27 days ago
Design of Energy Efficient Wireless Networks Using Dynamic Data Type Refinement Methodology
Abstract. This paper presents a new perspective to the design of wireless networks using the proposed dynamic data type refinement methodology. In the forthcoming years, new portab...
Stylianos Mamagkakis, Alexandros Mpartzas, Georgio...
DATE
2006
IEEE
95views Hardware» more  DATE 2006»
13 years 11 months ago
Dynamic data type refinement methodology for systematic performance-energy design exploration of network applications
Network applications are becoming increasingly popular in the embedded systems domain requiring high performance, which leads to high energy consumption. In networks is observed t...
Alexandros Bartzas, Stylianos Mamagkakis, Georgios...